NEXP-completeness and Universal Hardness Results for Justification Logic

We provide a lower complexity bound for the satisfiability problem of a multi-agent justification logic, establishing that the general NEXP upper bound from our previous work is tight. We then use a simple modification of the corresponding reduction to prove that satisfiability for all multi-agent justification logics from there is hard for the Sigma 2 p class of the second level of the polynomial hierarchy - given certain reasonable conditions. Our methods improve on these required conditions for the same lower bound for the single-agent justification logics, proven by Buss and Kuznets in 2009, thus answering one of their open questions.Comment: Shorter version has been accepted for publication by CSR 201

Prenatal hypoxia induces increased cardiac contractility on a background of decreased capillary density.

Background: Chronic hypoxia in utero (CHU) is one of the most common insults to fetal development and may be associated with poor cardiac recovery from ischaemia-reperfusion injury,yet the effects on normal cardiac mechanical performance are poorly understood. Methods: Pregnant female wistar rats were exposed to hypoxia (12% oxygen, balance nitrogen)for days 10–20 of pregnancy. Pups were born into normal room air and weaned normally. At 10 weeks of age, hearts were excised under anaesthesia and underwent retrograde 'Langendorff' perfusion. Mechanical performance was measured at constant filling pressure (100 cm H2O) with intraventricular balloon. Left ventricular free wall was dissected away and capillary density estimated following alkaline phosphatase staining. Expression of SERCA2a and Nitric Oxide Synthases (NOS) proteins were estimated by immunoblotting. Results: CHU significantly increased body mass (P < 0.001) compared with age-matched control rats but was without effect on relative cardiac mass. For incremental increases in left ventricular balloon volume, diastolic pressure was preserved. However, systolic pressure was significantly greater following CHU for balloon volume = 50 μl (P < 0.01) and up to 200 μl (P < 0.05). For higher balloon volumes systolic pressure was not significantly different from control. Developed pressures were correspondingly increased relative to controls for balloon volumes up to 250 μl (P < 0.05).Left ventricular free wall capillary density was significantly decreased in both epicardium (18%; P <0.05) and endocardium (11%; P < 0.05) despite preserved coronary flow. Western blot analysis revealed no change to the expression of SERCA2a or nNOS but immuno-detectable eNOS protein was significantly decreased (P < 0.001) in cardiac tissue following chronic hypoxia in utero. Conclusion: These data offer potential mechanisms for poor recovery following ischaemia, including decreased coronary flow reserve and impaired angiogenesis with subsequent detrimental effects of post-natal cardiac performance

A Vast Thin Plane of Co-rotating Dwarf Galaxies Orbiting the Andromeda Galaxy

Dwarf satellite galaxies are thought to be the remnants of the population of primordial structures that coalesced to form giant galaxies like the Milky Way. An early analysis noted that dwarf galaxies may not be isotropically distributed around our Galaxy, as several are correlated with streams of HI emission, and possibly form co-planar groups. These suspicions are supported by recent analyses, and it has been claimed that the apparently planar distribution of satellites is not predicted within standard cosmology, and cannot simply represent a memory of past coherent accretion. However, other studies dispute this conclusion. Here we report the existence (99.998% significance) of a planar sub-group of satellites in the Andromeda galaxy, comprising approximately 50% of the population. The structure is vast: at least 400 kpc in diameter, but also extremely thin, with a perpendicular scatter <14.1 kpc (99% confidence). Radial velocity measurements reveal that the satellites in this structure have the same sense of rotation about their host. This finding shows conclusively that substantial numbers of dwarf satellite galaxies share the same dynamical orbital properties and direction of angular momentum, a new insight for our understanding of the origin of these most dark matter dominated of galaxies. Intriguingly, the plane we identify is approximately aligned with the pole of the Milky Way's disk and is co-planar with the Milky Way to Andromeda position vector. The existence of such extensive coherent kinematic structures within the halos of massive galaxies is a fact that must be explained within the framework of galaxy formation and cosmology.Comment: Published in the 3rd Jan 2013 issue of Nature. 19 pages, 4 figures, 1 three-dimensional interactive figure. To view and manipulate the 3-D figure, an Adobe Reader browser plug-in is required; alternatively save to disk and view with Adobe Reade

The circadian rhythm of corticosteroid-binding globulin has little impact on cortisol exposure after hydrocortisone dosing

CONTEXT: Optimisation of hydrocortisone replacement therapy is important to prevent under- and over dosing. Hydrocortisone pharmacokinetics is complex as circulating cortisol is protein bound mainly to corticosteroid-binding globulin (CBG) that has a circadian rhythm. OBJECTIVE: A detailed analysis of the CBG circadian rhythm and its impact on cortisol exposure after hydrocortisone administration. DESIGN AND METHODS: CBG was measured over 24 h in 14 healthy individuals and, employing a modelling and simulation approach using a semi-mechanistic hydrocortisone pharmacokinetic model, we evaluated the impact on cortisol exposure (area under concentration-time curve and maximum concentration of total cortisol) of hydrocortisone administration at different clock times and of the changing CBG concentrations. RESULTS: The circadian rhythm of CBG was well described with two cosine terms added to the baseline of CBG: baseline CBG was 21.8 μg/mL and inter-individual variability 11.9%; the amplitude for the 24 h and 12 h cosine functions were relatively small (24 h: 5.53%, 12 h: 2.87%) and highest and lowest CBG were measured at 18:00 and 02:00, respectively. In simulations, the lowest cortisol exposure was observed after administration of hydrocortisone at 23:00-02:00, whereas the highest was observed at 15:00-18:00. The differences between the highest and lowest exposure were minor (≤12.2%), also regarding the free cortisol concentration and free fraction (≤11.7%). CONCLUSIONS: CBG has a circadian rhythm but the difference in cortisol exposure is ≤12.2% between times of highest and lowest CBG concentrations; therefore hydrocortisone dose adjustment based on time of dosing to adjust for the CBG concentrations is unlikely to be of clinical benefit

Influence of Different Application of Lubricants on Wear and Pre-existing Rolling Contact Fatigue Cracks of Rail Materials

Rolling contact fatigue (RCF) of rail can be a significant problem affecting safety and maintenance. Rail materials have been optimized to reduce it, but not enough is known about how friction management products applied to the rail affect crack growth. This study presents experimental results carried out to explore the influence of different lubricants and application orders on wear and pre-existing RCF cracks in rail materials. The results indicate that the types or properties of lubricants have a vital role in the wear rate and fatigue crack growth characteristics of rail materials after conditioning with 5000 dry cycles to initiate cracks. Using a different application order of two lubricants has a significant influence on the crack growth angles in the rail rollers

Combinatorial CRISPR-Cas9 screens for de novo mapping of genetic interactions.

We developed a systematic approach to map human genetic networks by combinatorial CRISPR-Cas9 perturbations coupled to robust analysis of growth kinetics. We targeted all pairs of 73 cancer genes with dual guide RNAs in three cell lines, comprising 141,912 tests of interaction. Numerous therapeutically relevant interactions were identified, and these patterns replicated with combinatorial drugs at 75% precision. From these results, we anticipate that cellular context will be critical to synthetic-lethal therapies

Maternal sepsis: a Scottish population-based case–control study

Objective To describe the risk of maternal sepsis associated with obesity and other understudied risk factors such as operative vaginal delivery. Design Population-based, case-control study. Setting North NHS region of Scotland. Population All cases of pregnant, intrapartum and postpartum women with International Classification of Disease-9 codes for sepsis or severe sepsis recorded in the Aberdeen Maternal and Neonatal Databank (AMND) from 1986 to 2009. Four controls per case selected from the AMND were frequency matched on year-of-delivery. Methods Cases and controls were compared; significant variables from univariable regression were adjusted in a multivariable logistic regression model. Main outcome measures Dependent variables were uncomplicated sepsis or severe ('near-miss') sepsis. Independent variables were demographic, medical and clinical delivery characteristics. Unadjusted and adjusted odds ratios (OR) with 95% confidence intervals (95% CI) are reported. Results Controlling for mode of delivery and demographic and clinical factors, obese women had twice the odds of uncomplicated sepsis (OR 2.12; 95% CI 1.14-3.89) compared with women of normal weight. Age &lt;25 years (OR 5.15; 95% CI 2.43-10.90) and operative vaginal delivery (OR 2.20; 95% CI 1.02-4.87) were also significant predictors of sepsis. Known risk factors for maternal sepsis were also significant in this study (OR for uncomplicated and severe sepsis respectively): multiparty (OR 6.29, 12.04), anaemia (OR 3.43, 18.49), labour induction (OR 3.92 severe only), caesarean section (OR 3.23, 13.35), and preterm birth (OR 2.46 uncomplicated only). Conclusions Obesity, operative vaginal delivery and age &lt;25 years are significant risk factors for sepsis and should be considered in clinical obstetric care. © 2012 RCOG

The Trypanosoma cruzi vitamin C dependent peroxidase confers protection against oxidative stress but is not a determinant of virulence.

BACKGROUND: The neglected parasitic infection Chagas disease is rapidly becoming a globalised public health issue due to migration. There are only two anti-parasitic drugs available to treat this disease, benznidazole and nifurtimox. Thus it is important to identify and validate new drug targets in Trypanosoma cruzi, the causative agent. T. cruzi expresses an ER-localised ascorbate-dependent peroxidase (TcAPx). This parasite-specific enzyme has attracted interest from the perspective of targeted chemotherapy. METHODOLOGY/PRINCIPAL FINDINGS: To assess the importance of TcAPx in protecting T. cruzi from oxidative stress and to determine if it is essential for virulence, we generated null mutants by targeted gene disruption. Loss of activity was associated with increased sensitivity to exogenous hydrogen peroxide, but had no effect on susceptibility to the front-line Chagas disease drug benznidazole. This suggests that increased oxidative stress in the ER does not play a significant role in its mechanism of action. Homozygous knockouts could proceed through the entire life-cycle in vitro, although they exhibited a significant decrease in their ability to infect mammalian cells. To investigate virulence, we exploited a highly sensitive bioluminescence imaging system which allows parasites to be monitored in real-time in the chronic stage of murine infections. This showed that depletion of enzyme activity had no effect on T. cruzi replication, dissemination or tissue tropism in vivo. CONCLUSIONS/SIGNIFICANCE: TcAPx is not essential for parasite viability within the mammalian host, does not have a significant role in establishment or maintenance of chronic infections, and should therefore not be considered a priority for drug design

Extra-gastrointestinal manifestations of inflammatory bowel disease may be less common than previously reported

Extra-intestinal manifestations are well recognized in inflammatory bowel disease (IBD). To what extent the commonly recognized extra-intestinal manifestations seen in IBD patients are attributable to IBD is, however, not clear due to the limited number of controlled studies published

Exoplanet phase curves: observations and theory

Phase curves are the best technique to probe the three dimensional structure of exoplanets' atmospheres. In this chapter we first review current exoplanets phase curve observations and the particular challenges they face. We then describe the different physical mechanisms shaping the atmospheric phase curves of highly irradiated tidally locked exoplanets. Finally, we discuss the potential for future missions to further advance our understanding of these new worlds.Comment: Fig.5 has been updated. Table 1 and corresponding figures have been updated with new values for WASP-103b and WASP-18b. Contains a table sumarizing phase curve observation